Type constructor - PDFSEARCH.IO - Document Search Engine

Type constructor
Results: 154

#	Item
141	A Foundation for Representing and Querying Moving Objects∗ Ralf Hartmut G¨ uting†, Michael H. B¨ohlen‡, Martin Erwig†, Christian S. Jensen‡, Nikos A. Lorentzos§, Markus Schneider†, and Michalis Vazirgianni Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2008-08-29 08:55:42 Software engineering Data types Program analysis Type system Function Spacetime Sheaf Solid modeling Constructor Mathematics Topology Type theory
142	Volume 8, Num Number 6 Add to Reading List Source URL: bcbjournal.com Language: English - Date: 2011-06-08 00:20:30 C++ Method D C++ classes ALGOL 68 C Sharp Constructor Virtual function Void type Software engineering Computing Computer programming
143	The Java® Language Specification Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2014-03-04 18:44:00 Java programming language Type theory Polymorphism Cross-platform software Data types Constructor Java Interface Class Computing Software engineering Computer programming
144	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
145	The Cool Reference Manual∗ Contents Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-29 18:48:08 Type theory Data types Object-oriented programming C++ Polymorphism Objective-C Constructor Type system C Sharp Software engineering Computing Computer programming
146	Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-10-05 10:53:12 C++ Data types Type theory Method Primitive types C++11 Copy constructor C++ classes Pointer Software engineering Computing Computer programming
147	Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-10-05 10:53:12 C++ Data types Type theory Method Primitive types C++11 Copy constructor C++ classes Pointer Software engineering Computing Computer programming
148	Specifying C++ concepts N1886=[removed]Gabriel Dos Reis Add to Reading List Source URL: www.open-std.org Language: English - Date: 2005-10-21 01:58:40 Computer programming Concepts Iterator Associative containers Sequence container Set Copy constructor String Type safety Software engineering Computing C++
149	A Virtual Class Calculus∗ Erik Ernst Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2006-01-17 10:25:59 Object-oriented programming C++ Method Type theory Mixin Class C++ classes Constructor Common Lisp Object System Software engineering Computer programming Computing
150	PDF Document Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2013-01-14 22:22:45 Data types Type theory Formal languages Parsing Attribute grammar Compiler construction Type system C Sharp Constructor Software engineering Computing Computer programming

UPDATE